contractible type